Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets

Performance Evaluation Using Timed Coloured Petri Nets

Coloured Petri nets are Petri nets in which attributes are associated with individual tokens. These attributes are called “colours”. The set of colours is finite. Colors can be modified during transition firings, and the same transition can perform diffcrcn t transformations for tokens of different colours. Colours can thus distinguish tokens, and this allows to “fold” similar subnets of a net ...

Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets

One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...

Performance Analysis Using Coloured Petri Nets

This paper provides an overview of improved facilities for performance analysis using coloured Petri nets. Coloured Petri nets is a formal method that is well suited for modeling and analyzing large and complex systems. The paper describes steps that have been taken to make a distinction between modeling the behavior of a system and observing the behavior of a model. Performance-related facilit...

Availability evaluation of Software architecture of object oriented Style using coloured Petri nets

Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...

Parameterised Coloured Petri Nets